Involutivity of truncated microsupports
نویسندگان
چکیده
Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf F on a real manifold and k ∈ Z, if two functions vanish on SSk(F ), then so does their Poisson bracket.
منابع مشابه
Truncated microsupport and holomorphic solutions of D-Modules
We study the truncated microsupport SSk of sheaves on a real manifold. Applying our results to the case of F = RHom D (M ,O), the complex of holomorphic solutions of a coherent D-module M , we show that SSk(F ) is completely determined by the characteristic variety of M . As an application, we obtain an extension theorem for the sections of Hj(F ), j < d, defined on an open subset whose boundar...
متن کاملInvolutivity of Field Equations
We prove involutivity of Einstein and Einstein-Maxwell equations by calculating the Spencer cohomology of these systems. Relation with Cartan method is traced in details. Basic implications through Cartan-Kähler theory are derived.
متن کاملNew Deformations of Group Algebras of Coxeter Groups
The goal of this paper is to define new deformations of group algebras of Coxeter groups. Recall that a Coxeter group W is generated by elements si, i ∈ I modulo two kinds of relations – the involutivity relations si = 1 and the relations (sisj) mij = 1, where 2 ≤ mij = mji ≤ ∞; in presence of the involutivity relations these are equivalent to the braid relations sisjsi... = sjsisj... (mij fact...
متن کاملSpencer δ-cohomology, restrictions, characteristics and involutive symbolic PDEs
We generalize the notion of involutivity to systems of differential equations of different orders and show that the classical results relating involutivity, restrictions, characteristics and characteristicity, known for first order systems, extend to the general context. This involves, in particular, a new definition of strong characteristicity. The proof exploits a spectral sequence relating S...
متن کاملConstructing Involutive Tableaux with Guillemin Normal Form
Involutivity is the algebraic property that guarantees solutions to an analytic and torsion-free exterior differential system or partial differential equation via the Cartan–Kähler theorem. Guillemin normal form establishes that the prolonged symbol of an involutive system admits a commutativity property on certain subspaces of the prolonged tableau. This article examines Guillemin normal form ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003